searchDisplay: Unset default result when clearing search

If we fail to do so, a previously set result may be activated by
hitting enter, even if a search did not turn up any actual results.

diff --git a/js/ui/searchDisplay.js b/js/ui/searchDisplay.js
index 2008451a3e7abdd16d2a8c642a51ce2918483131..5df94be12bfa1847eb5e8dcc4ffa8c53b274c581 100644 (file)
--- a/js/ui/searchDisplay.js
+++ b/js/ui/searchDisplay.js
@@ -423,6 +423,7 @@ const SearchResults = new Lang.Class({
         this._searchSystem.reset();
         this._statusBin.hide();
         this._clearDisplay();
+        this._defaultResult = null;
     },
 
     startingSearch: function() {